Morzenti, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Raptors in Captivity—Guidelines for Care and Management Raptors in Captivity—Guidelines for Care and Management. Lori R Arent . 2007. Hancock House Publishers. Blaine, Washington, USA. 301 pp. ISBN 978-0-88839-613-9. Hardback. $49.95.

Morzenti, Alida A.

Journal:

Journal of Raptor Research

Year:

2010

Language:

english

File:

PDF, 62 KB

english, 2010

2

Modeling time in computing

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Journal:

ACM Computing Surveys

Year:

2010

Language:

english

File:

PDF, 817 KB

english, 2010

3

Exploring the relationship between domestic minor sex trafficking myths, victim identification, and service provision

Gonzalez-Pons, Kwynn M., Gezinski, Lindsay, Morzenti, Hanna, Hendrix, Elizabeth, Graves, Shelby

Journal:

Child Abuse & Neglect

Year:

2019

Language:

english

File:

PDF, 245 KB

english, 2019

4

NORMAL FASTING PLASMA GLUCOSE LEVELS IN SOME BIRDS OF PREY

O'DONNELL, J. A., GARBETT, R., MORZENTI, A.

Journal:

Journal of Wildlife Diseases

Year:

1978

Language:

english

File:

PDF, 274 KB

english, 1978

5

Contrast-enhanced ultrasound with SonoVue in the evaluation of postoperative complications in pediatric liver transplant recipients

G. Bonini, G. Pezzotta, C. Morzenti, R. Agazzi, R. Nani

Journal:

Journal of Ultrasound

Year:

2007

Language:

english

File:

PDF, 3.65 MB

english, 2007

6

Executable specifications with data-flow diagrams

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.65 MB

english, 1993

7

TRIO: A logic language for executable specifications of real-time systems

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Journal:

Journal of Systems and Software

Year:

1990

Language:

english

File:

PDF, 2.08 MB

english, 1990

8

Properties of anodic oxide layers formed on nitrogen-containing tantalum films

R.T. Simmons, P.T. Morzenti, D.M. Smyth, D. Gerstenberg

Journal:

Thin Solid Films

Year:

1974

Language:

english

File:

PDF, 733 KB

english, 1974

9

A deterministic parsing algorithm for ambiguous regular expressions

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Journal:

Acta Informatica

Year:

2020

Language:

english

File:

PDF, 1.05 MB

english, 2020

10

Wet-chemistry method for the separation of no-carrier-added211At/211gPo from209Bi target irradiated by alpha-beam in cyclotron

C. Zona, M. L. Bonardi, F. Groppi, S. Morzenti, L. Canella, E. Persico, E. Menapace, Z. B. Alfassi, K. Abbas, U. Holzwarth, N. Gibson

Journal:

Journal of Radioanalytical and Nuclear Chemistry

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

11

Results on accelerator production of innovative radionuclides for metabolic radiotherapy and PET and on related nuclear data

Flavia Groppi, Mauro L. Bonardi, Enzo Menapace, Sabrina Morzenti, Cristiano Zona, Lea Canella, Zeev B. Alfassi

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

12

Constraint LTL satisfiability checking without automata

Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, Pierluigi

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 886 KB

english, 2014

13

Delivering prostate cancer prevention messages to the public: How the National Cancer Institute (NCI) effectively spread the word about the Prostate Cancer Prevention Trial (PCPT) results

Kara Smigel Croker, Anne Ryan, Thuy Morzenti, Lynn Cave, Tamara Maze-Gallman, Leslie Ford

Journal:

Urologic Oncology: Seminars and Original Investigations

Year:

2004

Language:

english

File:

PDF, 562 KB

english, 2004

14

Erratum to ‘delivering prostate cancer prevention messages to the public: How the national cancer institute (NCI) effectively spread the word about the prostate cancer prevention trial (PCPT) results’[Uro Oncol 22 (2004) 369–376]☆

Kara Smigel Croker, Anne Ryan, Thuy Morzenti, Lynn Cave, Tamara Maze-Gallman, Leslie Ford

Journal:

Urologic Oncology: Seminars and Original Investigations

Year:

2004

Language:

english

File:

PDF, 26 KB

english, 2004

15

Proving properties of real-time systems through logical specifications and Petri net models

Felder, M., Mandrioli, D., Morzenti, A.

Journal:

IEEE Transactions on Software Engineering

Year:

1994

Language:

english

File:

PDF, 1.58 MB

english, 1994

16

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || It’s About Time

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

17

Comparative evaluation of CT-based and respiratory-gated PET/CT-based planning target volume (PTV) in the definition of radiation treatment planning in lung cancer: preliminary results

Guerra, Luca, Meregalli, Sofia, Zorz, Alessandra, Niespolo, Rita, Ponti, Elena, Elisei, Federica, Morzenti, Sabrina, Brenna, Sarah, Crespi, Andrea, Gardani, Gianstefano, Messa, Cristina

Journal:

European Journal of Nuclear Medicine and Molecular Imaging

Year:

2014

Language:

english

File:

PDF, 228 KB

english, 2014

18

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems

Luigi Lavazza, Sandro Morasca, Angelo Morzenti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 201 KB

english, 2003

19

Analytical and radioanalytical quality control of purity and stability of radiopharmaceutical compound [186gRe]Re-HEDP for bone metastases pain palliation

D. Bagatti, M. C. Cantone, A. Giussani, S. Ridone, C. Birattari, M. L. Bonardi, F. Groppi, A. Martinotti, S. Morzenti, M. Gallorini, E. Rizzio

Journal:

Journal of Radioanalytical and Nuclear Chemistry

Year:

2005

Language:

english

File:

PDF, 511 KB

english, 2005

20

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Asynchronous Abstract Machines: Petri Nets

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 1.33 MB

english, 2012

21

[IEEE Comput. Soc. Press EUROMICRO `91 Workshop on Real-Time Systems - Paris-Orsay, France (12-14 June 1991)] Proceedings. EUROMICRO `91 Workshop on Real-Time Systems - Real-time system validation by model checking in TRIO

Felder, M., Morzenti, A.C.

Year:

1991

Language:

english

File:

PDF, 734 KB

english, 1991

22

[IEEE Comput. Soc. Press [1989] Proceedings. EUROMICRO Workshop on Real Time - Como, Italy (14-16 June 1989)] [1989] Proceedings. EUROMICRO Workshop on Real Time - TRIO, a logic formalism for the specification of real-time systems

Morzenti, A., Ratto, E., Roncato, M., Zoccolante, L.

Year:

1989

Language:

english

File:

PDF, 484 KB

english, 1989

23

Fast deterministic parsers for transition networks

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

24

The use of liquid scintillation spectrometry as a very sensitive radioanalytical tool for the determination of alpha, beta and monochromatic electron emitting impurities in radiopharmaceutical compounds

F. Groppi, H. S. Mainardi, A. Martinotti, S. Morzenti, M. L. Bonardi

Journal:

Journal of Radioanalytical and Nuclear Chemistry

Year:

2005

Language:

english

File:

PDF, 520 KB

english, 2005

25

Comparative analysis of iterative reconstruction algorithms with resolution recovery for cardiac SPECT studies. A multi-center phantom study

Zoccarato, Orazio, Scabbio, Camilla, De Ponti, Elena, Matheoud, Roberta, Leva, Lucia, Morzenti, Sabrina, Menzaghi, Marco, Campini, Riccardo, Marcassa, Claudio, Del Sole, Angelo, Garancini, Silvana, Cr

Journal:

Journal of Nuclear Cardiology

Year:

2014

Language:

english

File:

PDF, 788 KB

english, 2014

26

[IEEE Comput. Soc. Press Fourth International Conference on Software Engineering and Knowledge Engineering - Capri, Italy (15-20 June 1992)] Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering - Software processes representation languages: survey and assessment

Armenise, P., Bandinelli, S., Ghezzi, C., Morzenti, A.

Year:

1992

Language:

english

File:

PDF, 761 KB

english, 1992

27

Global and regional brain volumes normalization in weight-recovered adolescents with anorexia nervosa: preliminary findings of a longitudinal voxel-based morphometry study

Bomba, Monica, Riva, Anna, Morzenti, Sabrina, Grimaldi, Marco, Neri, Francesca, Nacinovich, Renata

Journal:

Neuropsychiatric Disease and Treatment

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

28

A logic-based semantics for the verification of multi-diagram UML models

Baresi, Luciano, Morzenti, Angelo, Motta, Alfredo, Rossi, Matteo

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 828 KB

english, 2012

29

Generating test cases for real-time systems from logic specifications

Mandrioli, Dino, Morasca, Sandro, Morzenti, Angelo

Journal:

ACM Transactions on Computer Systems

Year:

1995

Language:

english

File:

PDF, 2.20 MB

english, 1995

30

83. Performance optimization using new PET/CT technology with respect to count statistic variation

Morzenti, S., Spadavecchia, C., Dolci, C., De Ponti, E., Guerra, L., Landoni, C., Crespi, A.

Journal:

Year:

2018

Language:

english

File:

PDF, 48 KB

english, 2018

31

ASPLENIUM PLENUM: A FERN WHICH SUGGESTS AN UNUSUAL METHOD OF SPECIES FORMATION

Morzenti, Virginia M.

Journal:

American Journal of Botany

Year:

1967

Language:

english

File:

PDF, 1.29 MB

english, 1967

32

A Dual Language Approach to the Development of Time-Critical Systems

Luigi Lavazza, Sandro Morasca, Angelo Morzenti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 269 KB

english, 2005

33

Analysis of techniques in the assessment of ultra-reliable computerized systems

Morzenti, Angelo, Schreiber, Fabio A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 544 KB

english, 1997

34

From formal models to formally based methods: an industrial experience

Ciapessoni, Emanuele, Mirandola, Piergiorgio, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1999

Language:

english

File:

PDF, 234 KB

english, 1999

35

Automated compositional proofs for real-time systems

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 842 KB

english, 2007

36

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - Trio2Promela: A Model Checker for Temporal Metric Specifications

Bianculli, Domenico, Morzenti, Angelo, Pradella, Matteo, Pietro, Pierluigi San, Spoletini, Paola

Year:

2007

Language:

english

File:

PDF, 120 KB

english, 2007

37

[IEEE Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems - Los Angeles, CA, USA (1999.05.18-1999.05.18)] Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99 - A case study in object-oriented modeling and design of distributed multimedia applications

Morzenti,, Pradella,, Rossi,, Russo,, Sergio,

Year:

1999

Language:

english

File:

PDF, 88 KB

english, 1999

38

An Adaptive Thresholding Method for BTV Estimation Incorporating PET Reconstruction Parameters: A Multicenter Study of the Robustness and the Reliability

Brambilla, M., Matheoud, R., Basile, C., Bracco, C., Castiglioni, I., Cavedon, C., Cremonesi, M., Morzenti, S., Fioroni, F., Giri, M., Botta, F., Gallivanone, F., Grassi, E., Pacilio, M., De Ponti, E.

Journal:

Computational and Mathematical Methods in Medicine

Year:

2015

Language:

english

File:

PDF, 2.16 MB

english, 2015

39

Optimisation study of α-cyclotron production of At-211/Po-211g for high-LET metabolic radiotherapy purposes

F. Groppi, M.L. Bonardi, C. Birattari, E. Menapace, K. Abbas, U. Holzwarth, A. Alfarano, S. Morzenti, C. Zona, Z.B. Alfassi

Journal:

Applied Radiation and Isotopes

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

40

[IEEE 7th International Software Process Workshop, Communication and Coordination in the Software Process' - Yountville, CA (October 15-18, 1991)] Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process' - A Multi-paradigm Petri Net Based Approach To Process Description

Bandinelli, S., Fuggetta, A., Ghezzi, C., Morzenti, A.

Year:

1991

Language:

english

File:

PDF, 208 KB

english, 1991

41

Bounded satisfiability checking of metric temporal logic specifications

Pradella, Matteo, Morzenti, Angelo, Pietro, Pierluigi San

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 850 KB

english, 2013

42

A First Report on Pseudomeiotic Sporogenesis, a Type of Spore Reproduction by Which "Sterile" Ferns Produce Gametophytes

Virginia M. Morzenti

Journal:

American Fern Journal

Year:

1962

Language:

english

File:

PDF, 1.35 MB

english, 1962

43

A new regularized reconstruction algorithm in the evaluation of contrast detectability and background variability: Comparison with standard OSEM algorithm

Morzenti, S., Zorz, A., De Ponti, E., Crespi, A.

Journal:

Year:

2016

Language:

english

File:

PDF, 71 KB

english, 2016

44

Comments on "An Interval Logic for Real-Time System Specification"

Furia, C.A., Morzenti, A., Pradella, M., Rossi, M.G.

Journal:

IEEE Transactions on Software Engineering

Year:

2006

Language:

english

File:

PDF, 545 KB

english, 2006

45

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing ||

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 9.26 MB

english, 2012

46

[IEEE Comput. Soc. Press EUROMICRO `91 Workshop on Real-Time Systems - Paris-Orsay, France (12-14 June 1991)] Proceedings. EUROMICRO `91 Workshop on Real-Time Systems - Embedding time granularity in logical specifications of real-time systems

Montanari, A., Ratto, E., Corsetti, E., Morzenti, A.

Year:

1991

Language:

english

File:

PDF, 838 KB

english, 1991

47

Fahr's Disease Linked to a Novel SLC20A2 Gene Mutation Manifesting with Dynamic Aphasia

Brighina, Laura, Saracchi, Enrico, Ferri, Francesca, Gagliardi, Monica, Tarantino, Patrizia, Morzenti, Sabrina, Musarra, Monica, Patassini, Mirko, Annesi, Grazia, Ferrarese, Carlo

Journal:

Neurodegenerative Diseases

Year:

2014

Language:

english

File:

PDF, 405 KB

english, 2014

48

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - The symmetry of the past and of the future

Pradella, Matteo, Morzenti, Angelo, San Pietro, Pierluigi

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

49

[IEEE Comput. Soc 21st International Conference on Distributed Computing Systems - Mesa, AZ, USA (16-19 April 2001)] Proceedings 21st International Conference on Distributed Computing Systems - Modeling and analyzing real-time CORBA and supervision and control framework and applications

Marotta, F., Morzenti, A., Mandrioli, D.

Year:

2001

Language:

english

File:

PDF, 735 KB

english, 2001

50

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

S. Morasca, A. Morzenti, P. San Pietro

Journal:

Automated Software Engineering

Year:

2000

Language:

english

File:

PDF, 565 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски